A Time-Centric Model for Cyber-Physical Applications
نویسندگان
چکیده
The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The paper discusses the use of an extension to the Ptolemy II framework as a coordination language for the design of distributed real-time embedded systems. Specifically, the paper shows how to use modal models in the context of the PTIDES extension of Ptolemy II to provide a firm basis for the design of an important class of problems. We show the use of this environment in the design of interesting practical real-time systems.
منابع مشابه
A Privacy-Level Model of User-Centric Cyber-Physical Systems
In an interconnected cyber-world, Cyber-Physical Systems (CPSs) appear to play an increasingly important role in smart ecosystems. A variety of resource-constrained thin clients, such as sensors, RFIDs, actuators and smart devices, are included in the list of CPS. These devices can be used in a number of medical, vehicular, aviation, military and smart cities applications. A plethora of sensiti...
متن کاملArchitecture-Centric Software Development for Cyber-Physical Systems
We discuss the problem of high-assurance development of cyber-physical systems. Specifically, we concentrate on the interaction between the development of the control system layer and platform-specific software engineering for system components. We argue that an architecture-centric approach allows us to streamline the development and increase the level of assurance for the resulting system. Th...
متن کاملTime-centric Models For Designing Embedded Cyber- physical Systems
The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The focus is on computer-based systems where multiple computers are connected on a network and interact with and through physical processes (the plant) via sensors and actuators. Such systems are often termed cyber-physical systems
متن کاملCyber-Physical Systems Enabled By Unmanned Aerial System-Based Personal Remote Sensing: Data Mission Quality-Centric Design Architectures
Cyber-Physical Systems Enabled by Unmanned Aerial System-Based Personal Remote Sensing: Data Mission Quality-Centric Design Architectures
متن کاملEvolutionary Computing Assisted Wireless Sensor Network Mining for QoS-Centric and Energy-efficient Routing Protocol
The exponential rise in wireless communication demands and allied applications have revitalized academia-industries to develop more efficient routing protocols. Wireless Sensor Network (WSN) being battery operated network, it often undergoes node death-causing pre-ma...
متن کامل